منابع مشابه
Open constraint programming
Traditionally, constraint satisfaction problems (CSP) have assumed closed-world scenarios where all domains and constraints are fixed from the beginning. With the Internet, many of the traditional CSP applications in resource allocation, scheduling and planning pose themselves in open-world settings, where domains and constraints must be discovered from different sources in a network. To model ...
متن کاملOpen Constraint Programming
A new model for high-level concurrent programming is presented. Designed for implementing programs which manipulate and react to shared data which is highly structured, its main elements are: a shared constraint store, deened as a theory-update system a notion of reactor, which is a program fragment written in a generic reactive programming language; a general use of agents, deened as arbitrary...
متن کاملReactive Web Agents with Open Constraint Programming
This paper describes a new programming system for writing web applications with reactive agents, i.e. the agents can have complex responses which depend on how the environment changes. Our prototype system is based on the Open Constraint Programming framework using the Constraint Logic Programming language CLP(R). The benefit of reactive web agents is that activities of agents can be coordinate...
متن کاملA Note on Bilattices and Open Constraint Programming
We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orderings. They have been used in Artificial Intelligence in order to model incomplete information. We present a framework for Bilattice-valued Constraint Programming which allows to represent incomplete or conflicting information ...
متن کاملCollaborative Constraint Functional Logic Programming System in an Open Environment
In this paper we describe collaborative constraint functional logic programming and the system called Open CFLP that supports this programming paradigm. The system solves equations by collaboration of various equational constraint solvers. The solvers include higher-order lazy narrowing calculi that serve as the interpreter of higher-order functional logic programming, and specialized solvers f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2005
ISSN: 0004-3702
DOI: 10.1016/j.artint.2004.10.005